Skip to content

Conversation

@franmomu
Copy link
Contributor

Adds a stub for ServiceDocumentRepository.

@franmomu franmomu force-pushed the add_service_document_repository_stub branch from 4a54c47 to eb03a03 Compare October 14, 2020 16:14
@franmomu franmomu force-pushed the add_service_document_repository_stub branch from eb03a03 to 9ffd3e4 Compare October 14, 2020 16:21
@ondrejmirtes ondrejmirtes merged commit 6e76d43 into phpstan:master Oct 14, 2020
@ondrejmirtes
Copy link
Member

Thank you!

@franmomu franmomu deleted the add_service_document_repository_stub branch October 14, 2020 16:28
@ondrejmirtes
Copy link
Member

Tagged as 0.12.21.

@franmomu
Copy link
Contributor Author

franmomu commented Oct 14, 2020

Tagged as 0.12.21.

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants